On the Power of Higher-Order Algebraic Specification Methods
نویسندگان
چکیده
Soundness and adequacy theorems are presented for the expressive power of higher-order initial algebra specifications with respect to the arithmetical and analytical hierarchies. These results demonstrate that higher-order initial algebra semantics substantially extends the power of both first-order initial and first-order final algebra semantics. It thus provides a unifying framework for all three different approaches to the semantics of algebraic specifications. ] 1996 Academic Press, Inc.
منابع مشابه
A Modified Energy Balance Method to Obtain Higher-order Approximations to the Oscillators with Cubic and Harmonic Restoring Force
This article analyzes a strongly nonlinear oscillator with cubic and harmonic restoring force and proposes an efficient analytical technique based on the modified energy balance method (MEBM). The proposed method incorporates higher-order approximations. After applying the proposed MEBM, a set of complicated higher-order nonlinear algebraic equations are obtained. Higher-order nonlinear algebra...
متن کاملAlgebraic Specifications, Higher-Order Types, and Set-Theoretic Models
In most algebraic specification frameworks, the type system is restricted to sorts, subsorts, and first-order function types. This is in marked contrast to the so-called model-oriented frameworks, which provide higher-order types, interpreted set-theoretically as Cartesian products, function spaces, and power-sets. This paper presents a simple framework for algebraic specifications with higher-...
متن کاملNumerical free vibration analysis of higher-order shear deformable beams resting on two-parameter elastic foundation
Free vibration analysis of higher-order shear deformation beam resting on one- and two-parameter elasticfoundation is studied using differential transform method (DTM) as a part of a calculation procedure. First,the governing differential equations of beam are derived in a general form considering the shear-freeboundary conditions (zero shear stress conditions at the top and bottom of a beam). ...
متن کاملHigher Order and Reactive Algebraic Specification and Development
Algebraic specification frameworks such as the Casl family of specification languages are presently expanding to encompass all aspects of software, including e.g. functional programming and reactive specification. Thus, a comprehensive environment for formal software development is being created. This paper gives an overview of publications by the author that contribute to this goal, both in th...
متن کاملOptimal Adjustment of Three-Term Controller and Two-Term Compensator Performances in Hydro Power Systems for Load Frequency Control
An important issue with respect to the hydraulic power systems is the frequency stabilization. To design Load Frequency Control (LFC) with high efficiency, control parameters need to be adjusted so that the system frequency remains stable even under changeable conditions. Controlling the frequency and changes in the turbine time constant requires that three term control parameters of Proportion...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Comput.
دوره 124 شماره
صفحات -
تاریخ انتشار 1996